Complete Set of Unifiers

См. также в других словарях:

• Admissible rule — In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).DefinitionsThe concept of admissibility, as… …   Wikipedia

• CSU — Colorado State University (Academic & Science » Ocean Science) *** Cleveland State University (Academic & Science » Universities) ** Channel Service Unit (Computing » Networking) ** Channel Service Unit (Computing » Telecom) ** Christlich Soziale …   Abbreviations dictionary

• Double exponential function — A double exponential function (red curve) compared to a single exponential function (blue curve). A double exponential function is a constant raised to the power of an exponential function. The general formula is , which grows much more quickly… …   Wikipedia

• Fonction exponentielle double —  Cet article concerne la fonction exponentielle double. L’expression « distribution exponentielle double » peut désigner la loi de Laplace, qui est une distribution exponentielle bilatérale ou la distribution de Gumbel qui est une… …   Wikipédia en Français

• Condensed detachment — (Rule D) is a method of finding the most general possible conclusion given two formal logical statements. It was developed by the Irish logician Carew Meredith in the 1950s and inspired by the work of Łukasiewicz. Contents 1 Informal description… …   Wikipedia

• Oda Nobunaga — 織田信長 Oda Nobunaga in a 16th century century portrait Born June 23, 1534(1534 06 23 …   Wikipedia

• Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… …   Wikipedia

• Germany — /jerr meuh nee/, n. a republic in central Europe: after World War II divided into four zones, British, French, U.S., and Soviet, and in 1949 into East Germany and West Germany; East and West Germany were reunited in 1990. 84,068,216; 137,852 sq.… …   Universalium

• Kyoto — /kee oh toh/; Japn. /kyaw taw/, n. a city on S Honshu, in central Japan: the capital of Japan A.D. 794 1868. 1,472,993. Also, Kioto. * * * City (pop., 2000 prelim.: 1,467,705), west central Honshu, Japan. It is situated northeast of Ōsaka. The… …   Universalium

• Tokugawa Ieyasu — In this Japanese name, the family name is Tokugawa . Tokugawa Ieyasu 徳川家康 1st Tokugawa shogun In office 1603–16 …   Wikipedia

• Sengoku Basara 2 — Infobox VG title = Sengoku Basara 2 caption = developer = Capcom publisher = Capcom designer = Makoto Yamamoto (director) Makoto Tsuchibayashi (character design) Hiroyuki Kobayashi (producer) series = engine = released = JP July 27, 2006 genre =… …   Wikipedia